1. <A> Computational Logic
پدیدآورنده : \ Robert S. Boyer and J Strother Moore
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Automatic theorem proving.
رده :
E-Book
,
2. A computational logic
پدیدآورنده : Boyer, Robert S., Robert S. Boyer and J Strother Moore
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : ، Automatic theorem proving
رده :
QA
76
.
9
.
A96
B68
3. A computational logic
پدیدآورنده : Boyer, Robert S.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Automatic theorem proving
رده :
QA
76
.
9
.
A96B68
4. A computational logic handbook
پدیدآورنده : BOYER,ROBERT S
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : AUTOMATIC THEOREM PROVING , LOGIC,SYMBOLIC & MATHEMATICAL
رده :
QA
76
.
9
.
A96
B684
5. America's communal utopias /
پدیدآورنده : edited by Donald E. Pitzer ; foreword by Paul S. Boyer.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Collective settlements-- United States-- History.,Communal living-- United States-- History.,Communitarianism-- United States.,Collective settlements.,Communal living.,Communitarianism.,Gemeenschapszin.,HISTORY-- United States-- General.,POLITICAL SCIENCE-- Political Ideologies-- Communism & Socialism.,Utopieën.,United States., 7
رده :
HX653
.
A63
1997eb
6. American history :
پدیدآورنده : Paul S. Boyer
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : United States, History, 0
رده :
E178
.
B782
2012
7. Automated reasoning : essays in honor of Woody Bledsoe
پدیدآورنده : edited by Robert S. Boyer
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Automatic theorem proving,، Artificial intelligence
رده :
QA
76
.
9
.
A96
A92
1991
8. July 2, 2011. Proceedings-Pattern Recognition: Third Mexican Conference, MCPR 2011, Cancun, Mexico, June 29
پدیدآورنده : / Youssef Brants, Edwin Robert Hancock (eds.)-Ochoa, Cherif Ben-s Ariel CarrascoهTrinidad, Jes-nezک Francisco MartفKim L. Boyer, Dijia Wu (auth.), Jos
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : ENGINEERING (uncategorised)&COMPUTER SCIENCE
رده :
E-BOOK
9. Oil and gas exploration techniques seismic surveying and well logging
پدیدآورنده : Boyer, S.
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی شاهرود (سمنان)
موضوع : ، Oil well logging
رده :
TN
871
.
35
.
B6O5
10. Purity in print :
پدیدآورنده : Paul S. Boyer
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Censorship-- United States-- History,Obscenity (Law)-- United States
11. Religion and the Culture of Print in Modern America
پدیدآورنده : \ Edited by Charles L. Cohen and Paul S. Boyer
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Religious literature -- Publishing -- United States,Religious institutions -- Publishing -- United States.
رده :
Z
286
.
R4
2008
E-Book
,
12. Salem possessed; the social origins of witchcraft
پدیدآورنده : Boyer, Paul S
کتابخانه: كتابخانه مركز اسناد و مركز دائرة المعارف بزرگ اسلامى (تهران)
موضوع :
رده :
18754
BF
13. Seismic surveying and well logging
پدیدآورنده : Boyer, S.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Seismic prospecting,، Oil well logging,، Petroleum - Prospecting
رده :
TN
269
.
8
.
B68
1997
14. Seismic surveying and well logging
پدیدآورنده : / Sylvain Boyer, Jean-Luc Mari, translated from the french by M.S.N.Carpenter
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Oil well logging, Acoustic,Oil well logging,Geophysical well logging
رده :
TN871
.
35
.
B66
1994
15. Seismic surveying and well logging /
پدیدآورنده : Sylvain Boyer, Jean-Luc Mari ; translated from the French by M.S.N. Carpenter ; reviewed by A. Rivollier
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Oil well logging,Petroleum-- Prospecting,Seismic prospecting
رده :
TN269
.
8
.
B68
1997
16. Seismic surveying and well logging
پدیدآورنده : Boyer, S.
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Seismic prospecting,، Oil well logging,، Petroleum-- Prospecting
رده :
TN
269
.
8
.
B68
1997
17. Sismique et diagraphies.English,Seismic surveying and well logging
پدیدآورنده : Sylvain Boyer, Jean-Luc Mari ; translated from the French by M.S.N. Carpenter ; reviewed by A. Rivollier
کتابخانه: كتابخانه مركزی دانشكده نفت اهواز (خوزستان)
موضوع : Seismic prospecting,Oil well logging,Petroleum- Prospecting
رده :
TN
,
269
.
8
,.
B68
,
1997
18. The Correctness problem in computer science
پدیدآورنده : edited by R. S. Boyer and J Strother Moore
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Computer programs -- Correctness
رده :
QA
76
.
6
.
C663
19. <The> Enzymes
پدیدآورنده : \ Edited by David S. Sigman, Paul D. Boyer
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Enzymes,آنزیم‌ها,a03,a03
رده :
E-Book
,
